/*============================================================================*/
/*  Copyright (C) 2009-2011, iSOFT INFRASTRUCTURE SOFTWARE CO.,LTD.
 *  
 *  All rights reserved. This software is iSOFT property. Duplication 
 *  or disclosure without iSOFT written authorization is prohibited.
 *  
 *  
 *  @file       <OS.h>
 *  @brief      <>
 *  
 *  <Compiler: CodeWarrior    MCU:freescale xep 100>
 *  
 *  @author
 *  @date
 */
/*============================================================================*/

#ifndef OS_H
#define OS_H

/*=======[M I S R A C  R U L E  V I O L A T I O N]============================*/
/*  <MESSAGE ID>    <CODE LINE>    <REASON>    
 */
/*============================================================================*/


/*=======[V E R S I O N  I N F O R M A T I O N]===============================*/


/*=======[I N C L U D E S]====================================================*/

#include "OsTypes.h"
#include "Os_Cfg.h"
#include "OsRegs.h"

/*=======[T Y P E   D E F I N I T I O N S]====================================*/
extern void InitSystem(void);
extern void MAIN_vWriteWDTCON0(uint32 uwValue);
extern Std_ReturnType GetCounterValue(CounterType CounterID, TickRefType Value);
extern Std_ReturnType GetElapsedCounterValue(CounterType CounterID, TickRefType Value, TickRefType ElapsedValue);
extern void Os_InitIntPrio(void);
/*=======[I N T E R N A L   D A T A]==========================================*/
#define MAIN_vSetENDINIT() MAIN_vWriteWDTCON0(OS_WDT_CON0 | 0x00000001)
#define MAIN_vResetENDINIT() MAIN_vWriteWDTCON0(OS_WDT_CON0 & ~0x00000001);while (OS_WDT_CON0_ENDINIT != 0)
/*=======[I N T E R N A L   F U N C T I O N   D E C L A R A T I O N S]========*/

#endif  /* end of OS_H */
/*=======[E N D   O F   F I L E]==============================================*/
